121. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
122. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
123. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
124. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
125. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
126. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
127. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
128. Logic and Algebraic Methods
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and Mathematical. ; Computer Science. ;
129. Logic and Grammar :
پدیدآورنده : edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
130. Logic and Grammar :
پدیدآورنده : edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
131. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
132. Logic and automata
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
133. Logic and computer science
پدیدآورنده : edited by Piergiorgio Odifreddi
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990
134. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
135. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
136. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
137. Logic for applications /
پدیدآورنده : Anil Nerode, Richard A. Shore
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
138. Logic from computer science
پدیدآورنده : Y.N. Moschovakis, editor
موضوع : Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
139. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
پدیدآورنده : Yiannis Moschovakis, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
9
.
A1W65
1989
140. Logic from computer science : proceedings of a workshop held November 13-17, 1989
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
